<!DOCTYPE html>
<html>
<head>
    <style>
    .code {
        white-space: pre-wrap;
        font-family: monospace;
        width: 100%;
    }

    .miss {
        background-color: #FF0000;
    }

    .hit, .undef {
        background-color: #94FF7C;
    }
    </style>
</head>
<body>

COLORIZED_LINE_HTML

</body>
</html>

